Samson Abramsky
On domain theory:
On quantum protocols in quantum information theory (such as quantum teleportation) formalized as string diagrams in the dagger-compact category of finite-dimensional Hilbert spaces (quantum information theory via dagger-compact categories):
Samson Abramsky, Bob Coecke, A categorical semantics of quantum protocols , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) [arXiv:quant-ph/0402130]
Samson Abramsky, Bob Coecke, Abstract Physical Traces, Theory and Applications of Categories, 14 6 (2005) 111-124. [tac:14-06, arXiv:0910.3144]
Samson Abramsky, Bob Coecke, Categorical quantum mechanics, in Handbook of Quantum Logic and Quantum Structures, Elsevier (2008) [arXiv:0808.1023, ISBN:9780080931661, doi:10.1109/LICS.2004.1319636]
Survey in contrast to quantum logic:
On quantum logic as the linear logic internal language of symmetric monoidal categories:
Sheaf theoretic discussion of quantum contextuality (hidden variable theories, Kochen-Specker theorem):
On simplicial complexes treated in homotopy type theory:
On game comonads, e.g. the Ehrenfeucht-Fraïssé comonad,
Last revised on June 21, 2024 at 08:04:45. See the history of this page for a list of all contributions to it.